if true then
  ()
else
  ()
